Automatic generation produced by ISE Eiffel
class
MP3_FILE
General
cluster: root_cluster
description: "MP3-File with features to parse the ID3-TAG"
create: make
Ancestors
KL_TEXT_INPUT_FILE
Queries
artist: STRING
count: INTEGER -- (from KL_FILE)
end_of_file: BOOLEAN -- (from KL_INPUT_FILE)
end_of_input: BOOLEAN -- (from KI_INPUT_FILE)
Eol: STRING -- (from KL_TEXT_INPUT_FILE)
exists: BOOLEAN -- (from KL_FILE)
file_name: STRING
has_art: BOOLEAN
has_id3: BOOLEAN
has_tit: BOOLEAN
id3_version: INTEGER
is_closable: BOOLEAN -- (from KI_FILE_SYSTEM_ENTRY)
is_closed: BOOLEAN -- (from KL_FILE)
is_open_read: BOOLEAN -- (from KL_INPUT_FILE)
is_readable: BOOLEAN -- (from KL_FILE)
is_rewindable: BOOLEAN -- (from KI_INPUT_STREAM)
last_character: CHARACTER -- (from KL_TEXT_INPUT_FILE)
last_string: STRING -- (from KL_TEXT_INPUT_FILE)
name: STRING -- (from KL_FILE)
new_name: STRING
Platform: KL_PLATFORM -- (from KL_SHARED_PLATFORM)
possible_tags: STRING
read_out_string: STRING
read_to_buffer (a_buffer: KI_BUFFER [CHARACTER]; pos, nb: INTEGER): INTEGER -- (from KL_INPUT_FILE)
read_to_string (a_string: STRING; pos, nb: INTEGER): INTEGER -- (from KL_INPUT_FILE)
same_physical_file (other_name: STRING): BOOLEAN -- (from KL_FILE)
time_stamp: INTEGER -- (from KL_FILE)
title: STRING
valid_unread_character (a_character: CHARACTER): BOOLEAN -- (from KI_INPUT_FILE)
Commands
change_name (new_name: STRING) -- (from KL_FILE)
close -- (from KL_INPUT_FILE)
concat (a_filename: STRING) -- (from KL_FILE)
copy_file (new_name: STRING) -- (from KL_FILE)
delete -- (from KL_FILE)
make (f: STRING)
minus_seperation
open_read -- (from KL_INPUT_FILE)
parse
read_character -- (from KL_INPUT_FILE)
read_line -- (from KL_TEXT_INPUT_FILE)
read_new_line -- (from KL_TEXT_INPUT_FILE)
read_string (nb: INTEGER) -- (from KL_INPUT_FILE)
reset (a_name: STRING) -- (from KI_FILE_SYSTEM_ENTRY)
rewind -- (from KI_INPUT_STREAM)
unread_character (a_character: CHARACTER) -- (from KL_INPUT_FILE)
Constraints
possible tags not empty
-- Generated by ISE Eiffel --
For more details: www.eiffel.com